Quantitative Structural Temporal Constraints on Repeating Events
نویسندگان
چکیده
This paper presents a model of the temporal structure of repeating events. This model allows for the representation of quantitative temporal constraints for repeating events, viz., those dealing with their part-whole structure. The temporal structure of repeating events is viewed as being composed of ve properties: number, sub-interval duration, gap duration, period and extent. A set of constraints involving these properties collectively speciies the conditions under which repeating events can be assigned times, and thus partially formalizes the scheduling problem for repeating events. The consistency and tightness of a set of such constraints can be tested by nding a solution to linear equations relating these properties to one another. These equations can also be used to infer constraints about one structural property from the others, when one or more of these constraints is unknown. This paper also introduces a new category of quantitative temporal constraints involving repeating events which speciies that the duration or period of events be distributed randomly over a set of values. Finally, integrating previous work by the same authors, rules are formulated which allow the inferring of structural constraints of one repeating event from those of another, as well as from binary relational constraints between the events.
منابع مشابه
Generating Scenarios for Periodic Events with Binary Constraints
Reasoning with repeating events diiers from reasoning about single events primarily in the fact that with the former the available information about aspects such as the number and period of the events may be in-deenite. Much useful knowledge about repeating events takes the form of relationships between \successive" occurrences of the same event, or \proximate" occurrences of pairs of repeating...
متن کاملAn intensional approach to qualitative and quantitative periodicity-dependent temporal constraints
In this paper, we propose a framework for representing and reasoning about qualitative and quantitative temporal constraints about periodic events. In particular our contribution is two-folded: (i) we provide a formalism to deal with both qualitative and quantitative “periodicity-dependent” constraints between repeated events, considering also userdefined periodicities; (ii) we propose an inten...
متن کاملTimed Temporal Logics
Since the early 1990’s, classical temporal logics have been extended with timing constraints. While temporal logics only express contraints on the order of events, their timed extensions can add quantitative constraints on delays between those events. We survey expressiveness and algorithmic results on those logics, and discuss semantic choices that may look unimportant but do have an impact on...
متن کاملSimple Temporal Problems with Preferences and Uncertainty
Simple Temporal Problems (STPs) are a restriction of the framework of Temporal Constraint Satisfaction Problems, tractable in polynomial time. Their expressiveness has been extended independently in two ways. First, to account for uncontrollable events, to Simple Temporal Problems with Uncertainty (STPUs). Second, more recently, to account for soft temporal preferences, to Simple Temporal Probl...
متن کاملPeriodicity-Based Temporal Constraints
We propose a framework for performing extensional and intensional temporal reasoning about qualitative and quantitative “periodicity-dependent” temporal constraints between repeated events, also considering user-defined periodicities.
متن کامل